Checking plan: <PATH_REMOVED>
Plan to validate:

Plan size: 14
1:
(unstack b c)
 
2:
(stack b d)
 
3:
(unstack b d)
 
4:
(stack b d)
 
5:
(unstack b d)
 
6:
(stack b c)
 
7:
(unstack b c)
 
8:
(put-down b)
 
9:
(pick-up d)
 
10:
(stack d c)
 
11:
(pick-up b)
 
12:
(stack b d)
 
13:
(pick-up a)
 
14:
(stack a b)
 

Plan Validation details
-----------------------

Checking next happening (time 1)
Deleting (on b c)
Deleting (clear b)
Deleting (handempty)
Adding (holding b)
Adding (clear c)

Checking next happening (time 2)
Deleting (clear d)
Deleting (holding b)
Adding (handempty)
Adding (clear b)
Adding (on b d)

Checking next happening (time 3)
Deleting (on b d)
Deleting (clear b)
Deleting (handempty)
Adding (holding b)
Adding (clear d)

Checking next happening (time 4)
Deleting (clear d)
Deleting (holding b)
Adding (handempty)
Adding (clear b)
Adding (on b d)

Checking next happening (time 5)
Deleting (on b d)
Deleting (clear b)
Deleting (handempty)
Adding (holding b)
Adding (clear d)

Checking next happening (time 6)
Deleting (clear c)
Deleting (holding b)
Adding (handempty)
Adding (clear b)
Adding (on b c)

Checking next happening (time 7)
Deleting (on b c)
Deleting (clear b)
Deleting (handempty)
Adding (holding b)
Adding (clear c)

Checking next happening (time 8)
Deleting (holding b)
Adding (clear b)
Adding (handempty)
Adding (ontable b)

Checking next happening (time 9)
Deleting (clear d)
Deleting (ontable d)
Deleting (handempty)
Adding (holding d)

Checking next happening (time 10)
Deleting (clear c)
Deleting (holding d)
Adding (handempty)
Adding (clear d)
Adding (on d c)

Checking next happening (time 11)
Deleting (clear b)
Deleting (ontable b)
Deleting (handempty)
Adding (holding b)

Checking next happening (time 12)
Deleting (clear d)
Deleting (holding b)
Adding (handempty)
Adding (clear b)
Adding (on b d)

Checking next happening (time 13)
Deleting (clear a)
Deleting (ontable a)
Deleting (handempty)
Adding (holding a)

Checking next happening (time 14)
Deleting (clear b)
Deleting (holding a)
Adding (handempty)
Adding (clear a)
Adding (on a b)
Plan executed successfully - checking goal
Plan valid
Final value: 14 

Successful plans:
Value: 14
 <PATH_REMOVED> 14 


plan is valid!!